Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C4:Dic3 and Q=C22

Direct product G=NxQ with N=C4:Dic3 and Q=C22
dρLabelID
C22xC4:Dic3192C2^2xC4:Dic3192,1344

Semidirect products G=N:Q with N=C4:Dic3 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:Dic3:1C22 = D12.31D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:1C2^2192,290
C4:Dic3:2C22 = D12:13D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:2C2^2192,291
C4:Dic3:3C22 = C23:3Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:3C2^2192,1042
C4:Dic3:4C22 = C24.38D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:4C2^2192,1049
C4:Dic3:5C22 = C23:4D12φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:5C2^2192,1052
C4:Dic3:6C22 = C24.41D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:6C2^2192,1053
C4:Dic3:7C22 = C24.42D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:7C2^2192,1054
C4:Dic3:8C22 = D4:5D12φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:8C2^2192,1113
C4:Dic3:9C22 = C42:18D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:9C2^2192,1115
C4:Dic3:10C22 = C42:19D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:10C2^2192,1119
C4:Dic3:11C22 = C6.372+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:11C2^2192,1164
C4:Dic3:12C22 = C6.462+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:12C2^2192,1176
C4:Dic3:13C22 = C6.482+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:13C2^2192,1179
C4:Dic3:14C22 = C6.562+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:14C2^2192,1203
C4:Dic3:15C22 = C6.612+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:15C2^2192,1216
C4:Dic3:16C22 = C6.682+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:16C2^2192,1225
C4:Dic3:17C22 = S3xD4:C4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:17C2^2192,328
C4:Dic3:18C22 = C4:C4:19D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:18C2^2192,329
C4:Dic3:19C22 = D12:D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:19C2^2192,715
C4:Dic3:20C22 = D6:6SD16φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:20C2^2192,728
C4:Dic3:21C22 = (C2xC6):8D8φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:21C2^2192,776
C4:Dic3:22C22 = (C3xD4).31D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:22C2^2192,777
C4:Dic3:23C22 = C24.67D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:23C2^2192,1145
C4:Dic3:24C22 = C24.43D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:24C2^2192,1146
C4:Dic3:25C22 = C24:7D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:25C2^2192,1148
C4:Dic3:26C22 = C24.44D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:26C2^2192,1150
C4:Dic3:27C22 = C24.46D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:27C2^2192,1152
C4:Dic3:28C22 = C24.47D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:28C2^2192,1154
C4:Dic3:29C22 = S3xC4:D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:29C2^2192,1163
C4:Dic3:30C22 = C4:C4:21D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:30C2^2192,1165
C4:Dic3:31C22 = C6.382+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:31C2^2192,1166
C4:Dic3:32C22 = D12:20D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:32C2^2192,1171
C4:Dic3:33C22 = C6.422+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:33C2^2192,1172
C4:Dic3:34C22 = S3xC22:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:34C2^2192,1185
C4:Dic3:35C22 = C4:C4:26D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:35C2^2192,1186
C4:Dic3:36C22 = C6.512+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:36C2^2192,1193
C4:Dic3:37C22 = C6.532+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:37C2^2192,1196
C4:Dic3:38C22 = S3xC22.D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:38C2^2192,1211
C4:Dic3:39C22 = C6.1222+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:39C2^2192,1217
C4:Dic3:40C22 = C6.622+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:40C2^2192,1218
C4:Dic3:41C22 = C42:22D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:41C2^2192,1237
C4:Dic3:42C22 = C42:23D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:42C2^2192,1238
C4:Dic3:43C22 = S3xC42:2C2φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:43C2^2192,1262
C4:Dic3:44C22 = D4xC3:D4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:44C2^2192,1360
C4:Dic3:45C22 = C24.53D6φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:45C2^2192,1365
C4:Dic3:46C22 = C6.1452+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic348C4:Dic3:46C2^2192,1388
C4:Dic3:47C22 = C2xC2.D24φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:47C2^2192,671
C4:Dic3:48C22 = C23.53D12φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:48C2^2192,690
C4:Dic3:49C22 = C2xDic3.D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:49C2^2192,1040
C4:Dic3:50C22 = C2xC23.8D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:50C2^2192,1041
C4:Dic3:51C22 = C2xC23.9D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:51C2^2192,1047
C4:Dic3:52C22 = C2xC23.21D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:52C2^2192,1051
C4:Dic3:53C22 = C2xC4.D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:53C2^2192,1068
C4:Dic3:54C22 = C2xC4:C4:S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:54C2^2192,1071
C4:Dic3:55C22 = C42:10D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:55C2^2192,1083
C4:Dic3:56C22 = C42:12D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:56C2^2192,1086
C4:Dic3:57C22 = C42:14D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:57C2^2192,1106
C4:Dic3:58C22 = D4xD12φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:58C2^2192,1108
C4:Dic3:59C22 = D12:23D4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:59C2^2192,1109
C4:Dic3:60C22 = D12:10D4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:60C2^2192,1235
C4:Dic3:61C22 = C42:25D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:61C2^2192,1263
C4:Dic3:62C22 = C42:26D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:62C2^2192,1264
C4:Dic3:63C22 = C2xC12.48D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:63C2^2192,1343
C4:Dic3:64C22 = C2xC12:7D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:64C2^2192,1349
C4:Dic3:65C22 = C24.83D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:65C2^2192,1350
C4:Dic3:66C22 = C6.1462+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:66C2^2192,1389
C4:Dic3:67C22 = C2xD4:Dic3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:67C2^2192,773
C4:Dic3:68C22 = (C6xD4):6C4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:68C2^2192,774
C4:Dic3:69C22 = C2xS3xC4:C4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:69C2^2192,1060
C4:Dic3:70C22 = C2xC4:C4:7S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:70C2^2192,1061
C4:Dic3:71C22 = S3xC42:C2φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:71C2^2192,1079
C4:Dic3:72C22 = C4xS3xD4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:72C2^2192,1103
C4:Dic3:73C22 = C42:13D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:73C2^2192,1104
C4:Dic3:74C22 = D12:11D4φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:74C2^2192,1276
C4:Dic3:75C22 = C2xD4xDic3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:75C2^2192,1354
C4:Dic3:76C22 = C24.49D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:76C2^2192,1357
C4:Dic3:77C22 = C2xD6:3D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:77C2^2192,1359
C4:Dic3:78C22 = C24.52D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:78C2^2192,1364
C4:Dic3:79C22 = C2xD6:3Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3:79C2^2192,1372
C4:Dic3:80C22 = (C2xD4):43D6φ: C22/C2 → C2 ⊆ Out C4:Dic348C4:Dic3:80C2^2192,1387
C4:Dic3:81C22 = C2xC4xD12φ: trivial image96C4:Dic3:81C2^2192,1032
C4:Dic3:82C22 = C42:9D6φ: trivial image48C4:Dic3:82C2^2192,1080
C4:Dic3:83C22 = C2xC23.26D6φ: trivial image96C4:Dic3:83C2^2192,1345

Non-split extensions G=N.Q with N=C4:Dic3 and Q=C22
extensionφ:Q→Out NdρLabelID
C4:Dic3.1C22 = C24:9Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.1C2^2192,239
C4:Dic3.2C22 = C12.14Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.2C2^2192,240
C4:Dic3.3C22 = C24:8Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.3C2^2192,241
C4:Dic3.4C22 = C24.13Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.4C2^2192,242
C4:Dic3.5C22 = C4.5D24φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.5C2^2192,253
C4:Dic3.6C22 = C42.264D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.6C2^2192,256
C4:Dic3.7C22 = C8:Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.7C2^2192,261
C4:Dic3.8C22 = C42.14D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.8C2^2192,262
C4:Dic3.9C22 = C42.19D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.9C2^2192,272
C4:Dic3.10C22 = C42.20D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.10C2^2192,273
C4:Dic3.11C22 = C23.40D12φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.11C2^2192,281
C4:Dic3.12C22 = D12.32D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.12C2^2192,292
C4:Dic3.13C22 = D12:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.13C2^2192,293
C4:Dic3.14C22 = C23.18D12φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.14C2^2192,296
C4:Dic3.15C22 = Dic6:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.15C2^2192,297
C4:Dic3.16C22 = Dic6.32D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.16C2^2192,298
C4:Dic3.17C22 = Dic6.3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.17C2^2192,388
C4:Dic3.18C22 = D12:3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.18C2^2192,401
C4:Dic3.19C22 = D12:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.19C2^2192,405
C4:Dic3.20C22 = D12.3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.20C2^2192,406
C4:Dic3.21C22 = Dic6:3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.21C2^2192,409
C4:Dic3.22C22 = Dic6:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.22C2^2192,410
C4:Dic3.23C22 = C24:30D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.23C2^2192,673
C4:Dic3.24C22 = C24:29D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.24C2^2192,674
C4:Dic3.25C22 = C24.82D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.25C2^2192,675
C4:Dic3.26C22 = C24:2D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.26C2^2192,693
C4:Dic3.27C22 = C24:3D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.27C2^2192,694
C4:Dic3.28C22 = C24.4D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.28C2^2192,696
C4:Dic3.29C22 = C6.2+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.29C2^2192,1069
C4:Dic3.30C22 = C6.62- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.30C2^2192,1074
C4:Dic3.31C22 = C42.89D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.31C2^2192,1077
C4:Dic3.32C22 = C42.90D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.32C2^2192,1078
C4:Dic3.33C22 = C42.92D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.33C2^2192,1085
C4:Dic3.34C22 = C42.94D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.34C2^2192,1088
C4:Dic3.35C22 = C42.96D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.35C2^2192,1090
C4:Dic3.36C22 = C42.99D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.36C2^2192,1093
C4:Dic3.37C22 = D4:5Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.37C2^2192,1098
C4:Dic3.38C22 = C42.104D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.38C2^2192,1099
C4:Dic3.39C22 = D4:6D12φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.39C2^2192,1114
C4:Dic3.40C22 = C42.115D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.40C2^2192,1120
C4:Dic3.41C22 = C42.118D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.41C2^2192,1123
C4:Dic3.42C22 = Dic6:10Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.42C2^2192,1126
C4:Dic3.43C22 = Q8:7Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.43C2^2192,1129
C4:Dic3.44C22 = C6.322+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.44C2^2192,1156
C4:Dic3.45C22 = C6.702- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.45C2^2192,1161
C4:Dic3.46C22 = C6.492+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.46C2^2192,1180
C4:Dic3.47C22 = C6.752- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.47C2^2192,1182
C4:Dic3.48C22 = C6.592+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.48C2^2192,1206
C4:Dic3.49C22 = C6.652+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.49C2^2192,1221
C4:Dic3.50C22 = C42.140D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.50C2^2192,1231
C4:Dic3.51C22 = C42.141D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.51C2^2192,1234
C4:Dic3.52C22 = C42.145D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.52C2^2192,1243
C4:Dic3.53C22 = C42.159D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.53C2^2192,1260
C4:Dic3.54C22 = C42.161D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.54C2^2192,1266
C4:Dic3.55C22 = C42.165D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.55C2^2192,1271
C4:Dic3.56C22 = Dic3:4D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.56C2^2192,315
C4:Dic3.57C22 = D4.S3:C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.57C2^2192,316
C4:Dic3.58C22 = Dic3:6SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.58C2^2192,317
C4:Dic3.59C22 = Dic3.D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.59C2^2192,318
C4:Dic3.60C22 = Dic3.SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.60C2^2192,319
C4:Dic3.61C22 = D4:Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.61C2^2192,320
C4:Dic3.62C22 = D4.Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.62C2^2192,322
C4:Dic3.63C22 = C4:C4.D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.63C2^2192,323
C4:Dic3.64C22 = C12:Q8:C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.64C2^2192,324
C4:Dic3.65C22 = D4.2Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.65C2^2192,325
C4:Dic3.66C22 = (C2xC8).200D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.66C2^2192,327
C4:Dic3.67C22 = D4:(C4xS3)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.67C2^2192,330
C4:Dic3.68C22 = D4:2S3:C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.68C2^2192,331
C4:Dic3.69C22 = D6.D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.69C2^2192,333
C4:Dic3.70C22 = D6:D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.70C2^2192,334
C4:Dic3.71C22 = D6.SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.71C2^2192,336
C4:Dic3.72C22 = D6:SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.72C2^2192,337
C4:Dic3.73C22 = D6:C8:11C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.73C2^2192,338
C4:Dic3.74C22 = C3:C8:1D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.74C2^2192,339
C4:Dic3.75C22 = C3:C8:D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.75C2^2192,341
C4:Dic3.76C22 = C24:1C4:C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.76C2^2192,343
C4:Dic3.77C22 = D4:S3:C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.77C2^2192,344
C4:Dic3.78C22 = Dic3:7SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.78C2^2192,347
C4:Dic3.79C22 = C3:Q16:C4φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.79C2^2192,348
C4:Dic3.80C22 = Dic3:4Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.80C2^2192,349
C4:Dic3.81C22 = Q8:2Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.81C2^2192,350
C4:Dic3.82C22 = Dic3.1Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.82C2^2192,351
C4:Dic3.83C22 = Q8:3Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.83C2^2192,352
C4:Dic3.84C22 = (C2xC8).D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.84C2^2192,353
C4:Dic3.85C22 = Q8.3Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.85C2^2192,355
C4:Dic3.86C22 = (C2xQ8).36D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.86C2^2192,356
C4:Dic3.87C22 = Q8.4Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.87C2^2192,358
C4:Dic3.88C22 = Q8:C4:S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.88C2^2192,359
C4:Dic3.89C22 = S3xQ8:C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.89C2^2192,360
C4:Dic3.90C22 = (S3xQ8):C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.90C2^2192,361
C4:Dic3.91C22 = Q8:7(C4xS3)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.91C2^2192,362
C4:Dic3.92C22 = C4:C4.150D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.92C2^2192,363
C4:Dic3.93C22 = D6.1SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.93C2^2192,364
C4:Dic3.94C22 = D6:2SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.94C2^2192,366
C4:Dic3.95C22 = D6.Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.95C2^2192,370
C4:Dic3.96C22 = C3:(C8:D4)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.96C2^2192,371
C4:Dic3.97C22 = D6:1Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.97C2^2192,372
C4:Dic3.98C22 = D6:C8.C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.98C2^2192,373
C4:Dic3.99C22 = C8:Dic3:C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.99C2^2192,374
C4:Dic3.100C22 = C3:C8.D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.100C2^2192,375
C4:Dic3.101C22 = Q8:3(C4xS3)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.101C2^2192,376
C4:Dic3.102C22 = Dic6:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.102C2^2192,413
C4:Dic3.103C22 = C24:5Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.103C2^2192,414
C4:Dic3.104C22 = C24:3Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.104C2^2192,415
C4:Dic3.105C22 = Dic6.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.105C2^2192,416
C4:Dic3.106C22 = C8.8Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.106C2^2192,417
C4:Dic3.107C22 = S3xC4.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.107C2^2192,418
C4:Dic3.108C22 = (S3xC8):C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.108C2^2192,419
C4:Dic3.109C22 = C8:(C4xS3)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.109C2^2192,420
C4:Dic3.110C22 = D6.2SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.110C2^2192,421
C4:Dic3.111C22 = D6.4SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.111C2^2192,422
C4:Dic3.112C22 = C4.Q8:S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.112C2^2192,425
C4:Dic3.113C22 = C6.(C4oD8)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.113C2^2192,427
C4:Dic3.114C22 = D12:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.114C2^2192,429
C4:Dic3.115C22 = D12.Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.115C2^2192,430
C4:Dic3.116C22 = C24:2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.116C2^2192,433
C4:Dic3.117C22 = Dic3.Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.117C2^2192,434
C4:Dic3.118C22 = C24:4Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.118C2^2192,435
C4:Dic3.119C22 = Dic6.2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.119C2^2192,436
C4:Dic3.120C22 = C8.6Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.120C2^2192,437
C4:Dic3.121C22 = S3xC2.D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.121C2^2192,438
C4:Dic3.122C22 = C8.27(C4xS3)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.122C2^2192,439
C4:Dic3.123C22 = C8:S3:C4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.123C2^2192,440
C4:Dic3.124C22 = D6.5D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.124C2^2192,441
C4:Dic3.125C22 = D6.2Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.125C2^2192,443
C4:Dic3.126C22 = C2.D8:S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.126C2^2192,444
C4:Dic3.127C22 = C2.D8:7S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.127C2^2192,447
C4:Dic3.128C22 = D12:2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.128C2^2192,449
C4:Dic3.129C22 = D12.2Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.129C2^2192,450
C4:Dic3.130C22 = (C2xC6).40D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.130C2^2192,526
C4:Dic3.131C22 = C4:C4.228D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.131C2^2192,527
C4:Dic3.132C22 = C4:C4.230D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.132C2^2192,529
C4:Dic3.133C22 = C4:C4.231D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.133C2^2192,530
C4:Dic3.134C22 = C4:C4.233D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.134C2^2192,555
C4:Dic3.135C22 = C4:C4.236D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.135C2^2192,562
C4:Dic3.136C22 = C12.50D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.136C2^2192,566
C4:Dic3.137C22 = C12.38SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.137C2^2192,567
C4:Dic3.138C22 = D4.3Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.138C2^2192,568
C4:Dic3.139C22 = Q8:4Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.139C2^2192,579
C4:Dic3.140C22 = Q8:5Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.140C2^2192,580
C4:Dic3.141C22 = Q8.5Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.141C2^2192,581
C4:Dic3.142C22 = C3:C8:22D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.142C2^2192,597
C4:Dic3.143C22 = C4:D4:S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.143C2^2192,598
C4:Dic3.144C22 = C3:C8:23D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.144C2^2192,600
C4:Dic3.145C22 = C3:C8:5D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.145C2^2192,601
C4:Dic3.146C22 = C3:C8:24D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.146C2^2192,607
C4:Dic3.147C22 = C3:C8:6D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.147C2^2192,608
C4:Dic3.148C22 = C3:C8.29D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.148C2^2192,610
C4:Dic3.149C22 = C3:C8.6D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.149C2^2192,611
C4:Dic3.150C22 = C42.62D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.150C2^2192,614
C4:Dic3.151C22 = C42.213D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.151C2^2192,615
C4:Dic3.152C22 = C42.68D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.152C2^2192,623
C4:Dic3.153C22 = C42.215D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.153C2^2192,624
C4:Dic3.154C22 = C12.16D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.154C2^2192,629
C4:Dic3.155C22 = C42.72D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.155C2^2192,630
C4:Dic3.156C22 = C12.17D8φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.156C2^2192,637
C4:Dic3.157C22 = C12.9Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.157C2^2192,638
C4:Dic3.158C22 = C12.SD16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.158C2^2192,639
C4:Dic3.159C22 = C42.76D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.159C2^2192,640
C4:Dic3.160C22 = C42.77D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.160C2^2192,641
C4:Dic3.161C22 = Dic3xD8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.161C2^2192,708
C4:Dic3.162C22 = Dic3:D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.162C2^2192,709
C4:Dic3.163C22 = D8:Dic3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.163C2^2192,711
C4:Dic3.164C22 = (C6xD8).C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.164C2^2192,712
C4:Dic3.165C22 = D6:3D8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.165C2^2192,716
C4:Dic3.166C22 = Dic6:D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.166C2^2192,717
C4:Dic3.167C22 = C24:12D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.167C2^2192,718
C4:Dic3.168C22 = Dic3xSD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.168C2^2192,720
C4:Dic3.169C22 = Dic3:3SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.169C2^2192,721
C4:Dic3.170C22 = Dic3:5SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.170C2^2192,722
C4:Dic3.171C22 = SD16:Dic3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.171C2^2192,723
C4:Dic3.172C22 = (C3xD4).D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.172C2^2192,724
C4:Dic3.173C22 = (C3xQ8).D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.173C2^2192,725
C4:Dic3.174C22 = D6:8SD16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.174C2^2192,729
C4:Dic3.175C22 = C24:14D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.175C2^2192,730
C4:Dic3.176C22 = D12:7D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.176C2^2192,731
C4:Dic3.177C22 = Dic6.16D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.177C2^2192,732
C4:Dic3.178C22 = C24:8D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.178C2^2192,733
C4:Dic3.179C22 = Dic3xQ16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.179C2^2192,740
C4:Dic3.180C22 = Dic3:3Q16φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.180C2^2192,741
C4:Dic3.181C22 = Q16:Dic3φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.181C2^2192,743
C4:Dic3.182C22 = (C2xQ16):S3φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.182C2^2192,744
C4:Dic3.183C22 = D6:5Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.183C2^2192,745
C4:Dic3.184C22 = D12.17D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.184C2^2192,746
C4:Dic3.185C22 = D6:3Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.185C2^2192,747
C4:Dic3.186C22 = C24.36D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.186C2^2192,748
C4:Dic3.187C22 = (C3xQ8):13D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.187C2^2192,786
C4:Dic3.188C22 = (C2xC6):8Q16φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.188C2^2192,787
C4:Dic3.189C22 = (C3xD4):14D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.189C2^2192,797
C4:Dic3.190C22 = (C3xD4).32D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.190C2^2192,798
C4:Dic3.191C22 = C6.2- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.191C2^2192,1066
C4:Dic3.192C22 = C6.102+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.192C2^2192,1070
C4:Dic3.193C22 = C6.52- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.193C2^2192,1072
C4:Dic3.194C22 = C6.112+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.194C2^2192,1073
C4:Dic3.195C22 = C42.95D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.195C2^2192,1089
C4:Dic3.196C22 = C42.97D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.196C2^2192,1091
C4:Dic3.197C22 = D4xDic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.197C2^2192,1096
C4:Dic3.198C22 = D4:6Dic6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.198C2^2192,1102
C4:Dic3.199C22 = D12:24D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.199C2^2192,1110
C4:Dic3.200C22 = C42.113D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.200C2^2192,1117
C4:Dic3.201C22 = Q8xDic6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.201C2^2192,1125
C4:Dic3.202C22 = D12:10Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.202C2^2192,1138
C4:Dic3.203C22 = C12:(C4oD4)φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.203C2^2192,1155
C4:Dic3.204C22 = Dic6:19D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.204C2^2192,1157
C4:Dic3.205C22 = C4:C4.178D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.205C2^2192,1159
C4:Dic3.206C22 = C6.342+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.206C2^2192,1160
C4:Dic3.207C22 = C6.722- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.207C2^2192,1167
C4:Dic3.208C22 = C6.442+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.208C2^2192,1174
C4:Dic3.209C22 = C6.1152+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.209C2^2192,1177
C4:Dic3.210C22 = C6.472+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.210C2^2192,1178
C4:Dic3.211C22 = (Q8xDic3):C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.211C2^2192,1181
C4:Dic3.212C22 = C4:C4.187D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.212C2^2192,1183
C4:Dic3.213C22 = C6.162- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.213C2^2192,1187
C4:Dic3.214C22 = C6.172- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.214C2^2192,1188
C4:Dic3.215C22 = D12:22D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.215C2^2192,1190
C4:Dic3.216C22 = Dic6:21D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.216C2^2192,1191
C4:Dic3.217C22 = C6.522+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.217C2^2192,1195
C4:Dic3.218C22 = C6.202- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.218C2^2192,1197
C4:Dic3.219C22 = C6.222- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.219C2^2192,1199
C4:Dic3.220C22 = C6.772- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.220C2^2192,1201
C4:Dic3.221C22 = C6.782- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.221C2^2192,1204
C4:Dic3.222C22 = C6.252- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.222C2^2192,1205
C4:Dic3.223C22 = C6.792- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.223C2^2192,1207
C4:Dic3.224C22 = C4:C4.197D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.224C2^2192,1208
C4:Dic3.225C22 = C6.802- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.225C2^2192,1209
C4:Dic3.226C22 = C6.812- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.226C2^2192,1210
C4:Dic3.227C22 = C6.822- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.227C2^2192,1214
C4:Dic3.228C22 = C6.632+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.228C2^2192,1219
C4:Dic3.229C22 = C6.642+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.229C2^2192,1220
C4:Dic3.230C22 = C6.662+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.230C2^2192,1222
C4:Dic3.231C22 = C6.692+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.231C2^2192,1226
C4:Dic3.232C22 = C42.137D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.232C2^2192,1228
C4:Dic3.233C22 = C42.139D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.233C2^2192,1230
C4:Dic3.234C22 = C42.234D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.234C2^2192,1239
C4:Dic3.235C22 = C42.143D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.235C2^2192,1240
C4:Dic3.236C22 = C42.144D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.236C2^2192,1241
C4:Dic3.237C22 = C42.147D6φ: C22/C1 → C22 ⊆ Out C4:Dic3192C4:Dic3.237C2^2192,1245
C4:Dic3.238C22 = S3xC42.C2φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.238C2^2192,1246
C4:Dic3.239C22 = C42.236D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.239C2^2192,1247
C4:Dic3.240C22 = C42.148D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.240C2^2192,1248
C4:Dic3.241C22 = C42.237D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.241C2^2192,1250
C4:Dic3.242C22 = C42.151D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.242C2^2192,1252
C4:Dic3.243C22 = C42.152D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.243C2^2192,1253
C4:Dic3.244C22 = C42.156D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.244C2^2192,1257
C4:Dic3.245C22 = C42.157D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.245C2^2192,1258
C4:Dic3.246C22 = C42.189D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.246C2^2192,1265
C4:Dic3.247C22 = C42.162D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.247C2^2192,1267
C4:Dic3.248C22 = C42.238D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.248C2^2192,1275
C4:Dic3.249C22 = C42.168D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.249C2^2192,1278
C4:Dic3.250C22 = S3xC4:Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.250C2^2192,1282
C4:Dic3.251C22 = C42.241D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.251C2^2192,1287
C4:Dic3.252C22 = C42.174D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.252C2^2192,1288
C4:Dic3.253C22 = D12:9Q8φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.253C2^2192,1289
C4:Dic3.254C22 = C42.176D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.254C2^2192,1290
C4:Dic3.255C22 = C42.178D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.255C2^2192,1292
C4:Dic3.256C22 = C42.180D6φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.256C2^2192,1294
C4:Dic3.257C22 = Q8xC3:D4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.257C2^2192,1374
C4:Dic3.258C22 = C6.452- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.258C2^2192,1376
C4:Dic3.259C22 = C6.1042- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.259C2^2192,1383
C4:Dic3.260C22 = C6.1072- 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.260C2^2192,1390
C4:Dic3.261C22 = C6.1482+ 1+4φ: C22/C1 → C22 ⊆ Out C4:Dic396C4:Dic3.261C2^2192,1393
C4:Dic3.262C22 = C4xC24:C2φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.262C2^2192,250
C4:Dic3.263C22 = C4xD24φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.263C2^2192,251
C4:Dic3.264C22 = C4xDic12φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.264C2^2192,257
C4:Dic3.265C22 = C42.16D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.265C2^2192,269
C4:Dic3.266C22 = D24:C4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.266C2^2192,270
C4:Dic3.267C22 = Dic12:C4φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.267C2^2192,275
C4:Dic3.268C22 = C23.39D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.268C2^2192,280
C4:Dic3.269C22 = C23.15D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.269C2^2192,282
C4:Dic3.270C22 = C23.43D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.270C2^2192,294
C4:Dic3.271C22 = C22.D24φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.271C2^2192,295
C4:Dic3.272C22 = C12:SD16φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.272C2^2192,400
C4:Dic3.273C22 = C4:D24φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.273C2^2192,402
C4:Dic3.274C22 = D12.19D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.274C2^2192,403
C4:Dic3.275C22 = C42.36D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.275C2^2192,404
C4:Dic3.276C22 = Dic6:8D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.276C2^2192,407
C4:Dic3.277C22 = C4:Dic12φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.277C2^2192,408
C4:Dic3.278C22 = C2xC2.Dic12φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.278C2^2192,662
C4:Dic3.279C22 = C2xC8:Dic3φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.279C2^2192,663
C4:Dic3.280C22 = C2xC24:1C4φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.280C2^2192,664
C4:Dic3.281C22 = C23.27D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.281C2^2192,665
C4:Dic3.282C22 = C23.28D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.282C2^2192,672
C4:Dic3.283C22 = C23.51D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.283C2^2192,679
C4:Dic3.284C22 = C23.52D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.284C2^2192,680
C4:Dic3.285C22 = C23.54D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.285C2^2192,692
C4:Dic3.286C22 = C2xC12:2Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.286C2^2192,1027
C4:Dic3.287C22 = C2xC12.6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.287C2^2192,1028
C4:Dic3.288C22 = C42.274D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.288C2^2192,1029
C4:Dic3.289C22 = C42.276D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.289C2^2192,1036
C4:Dic3.290C22 = C42.277D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.290C2^2192,1038
C4:Dic3.291C22 = C2xDic3.Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.291C2^2192,1057
C4:Dic3.292C22 = C42.93D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.292C2^2192,1087
C4:Dic3.293C22 = C42.98D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.293C2^2192,1092
C4:Dic3.294C22 = C42.100D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.294C2^2192,1094
C4:Dic3.295C22 = C42.102D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.295C2^2192,1097
C4:Dic3.296C22 = C42.105D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.296C2^2192,1100
C4:Dic3.297C22 = C42.106D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.297C2^2192,1101
C4:Dic3.298C22 = Dic6:23D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.298C2^2192,1111
C4:Dic3.299C22 = Dic6:24D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.299C2^2192,1112
C4:Dic3.300C22 = C42.229D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.300C2^2192,1116
C4:Dic3.301C22 = C42.114D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.301C2^2192,1118
C4:Dic3.302C22 = C42.117D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.302C2^2192,1122
C4:Dic3.303C22 = C42.122D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.303C2^2192,1127
C4:Dic3.304C22 = Q8:6Dic6φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.304C2^2192,1128
C4:Dic3.305C22 = Q8xD12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.305C2^2192,1134
C4:Dic3.306C22 = Q8:6D12φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.306C2^2192,1135
C4:Dic3.307C22 = C42.232D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.307C2^2192,1137
C4:Dic3.308C22 = C42.131D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.308C2^2192,1139
C4:Dic3.309C22 = C42.132D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.309C2^2192,1140
C4:Dic3.310C22 = C6.712- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.310C2^2192,1162
C4:Dic3.311C22 = C6.152- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.311C2^2192,1184
C4:Dic3.312C22 = C6.242- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.312C2^2192,1202
C4:Dic3.313C22 = C6.852- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.313C2^2192,1224
C4:Dic3.314C22 = C42.150D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.314C2^2192,1251
C4:Dic3.315C22 = C42.153D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.315C2^2192,1254
C4:Dic3.316C22 = C42.154D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.316C2^2192,1255
C4:Dic3.317C22 = C42.160D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.317C2^2192,1261
C4:Dic3.318C22 = C42.163D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.318C2^2192,1268
C4:Dic3.319C22 = C42.164D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.319C2^2192,1269
C4:Dic3.320C22 = C6.1052- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.320C2^2192,1384
C4:Dic3.321C22 = C2xC6.Q16φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.321C2^2192,521
C4:Dic3.322C22 = C2xC12.Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.322C2^2192,522
C4:Dic3.323C22 = C4:C4.225D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.323C2^2192,523
C4:Dic3.324C22 = C4:C4.232D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.324C2^2192,554
C4:Dic3.325C22 = C4:C4.234D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.325C2^2192,557
C4:Dic3.326C22 = C4xD4:S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.326C2^2192,572
C4:Dic3.327C22 = C42.48D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.327C2^2192,573
C4:Dic3.328C22 = C4xD4.S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.328C2^2192,576
C4:Dic3.329C22 = C42.51D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.329C2^2192,577
C4:Dic3.330C22 = C4xQ8:2S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.330C2^2192,584
C4:Dic3.331C22 = C42.56D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.331C2^2192,585
C4:Dic3.332C22 = C4xC3:Q16φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.332C2^2192,588
C4:Dic3.333C22 = C42.59D6φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.333C2^2192,589
C4:Dic3.334C22 = (C2xC6).D8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.334C2^2192,592
C4:Dic3.335C22 = C4:D4.S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.335C2^2192,593
C4:Dic3.336C22 = C6.Q16:C2φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.336C2^2192,594
C4:Dic3.337C22 = (C2xQ8).49D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.337C2^2192,602
C4:Dic3.338C22 = (C2xC6).Q16φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.338C2^2192,603
C4:Dic3.339C22 = (C2xQ8).51D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.339C2^2192,604
C4:Dic3.340C22 = C42.61D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.340C2^2192,613
C4:Dic3.341C22 = D12.23D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.341C2^2192,616
C4:Dic3.342C22 = Dic6.4Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.342C2^2192,622
C4:Dic3.343C22 = D12.4Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.343C2^2192,625
C4:Dic3.344C22 = C12:2D8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.344C2^2192,631
C4:Dic3.345C22 = Dic6:9D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.345C2^2192,634
C4:Dic3.346C22 = C12:5SD16φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.346C2^2192,642
C4:Dic3.347C22 = D12:5Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.347C2^2192,643
C4:Dic3.348C22 = D12:6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.348C2^2192,646
C4:Dic3.349C22 = C12:Q16φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.349C2^2192,649
C4:Dic3.350C22 = Dic6:5Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.350C2^2192,650
C4:Dic3.351C22 = Dic6:6Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.351C2^2192,653
C4:Dic3.352C22 = C2xQ8:2Dic3φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.352C2^2192,783
C4:Dic3.353C22 = (C6xQ8):6C4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.353C2^2192,784
C4:Dic3.354C22 = C4oD4:3Dic3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.354C2^2192,791
C4:Dic3.355C22 = C4oD4:4Dic3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.355C2^2192,792
C4:Dic3.356C22 = C2xC12:Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.356C2^2192,1056
C4:Dic3.357C22 = C2xC4.Dic6φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.357C2^2192,1058
C4:Dic3.358C22 = C6.72+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.358C2^2192,1059
C4:Dic3.359C22 = C6.82+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.359C2^2192,1063
C4:Dic3.360C22 = C42.88D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.360C2^2192,1076
C4:Dic3.361C22 = C4xD4:2S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.361C2^2192,1095
C4:Dic3.362C22 = C42.108D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.362C2^2192,1105
C4:Dic3.363C22 = C42.228D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.363C2^2192,1107
C4:Dic3.364C22 = C42.116D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.364C2^2192,1121
C4:Dic3.365C22 = C4xS3xQ8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.365C2^2192,1130
C4:Dic3.366C22 = C42.125D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.366C2^2192,1131
C4:Dic3.367C22 = C4xQ8:3S3φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.367C2^2192,1132
C4:Dic3.368C22 = C42.126D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.368C2^2192,1133
C4:Dic3.369C22 = C42.133D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.369C2^2192,1141
C4:Dic3.370C22 = C42.134D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.370C2^2192,1142
C4:Dic3.371C22 = C6.732- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.371C2^2192,1170
C4:Dic3.372C22 = C6.432+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.372C2^2192,1173
C4:Dic3.373C22 = C6.452+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.373C2^2192,1175
C4:Dic3.374C22 = C6.1182+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.374C2^2192,1194
C4:Dic3.375C22 = C6.212- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.375C2^2192,1198
C4:Dic3.376C22 = C6.232- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.376C2^2192,1200
C4:Dic3.377C22 = Dic6:10D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.377C2^2192,1236
C4:Dic3.378C22 = Dic6:7Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.378C2^2192,1244
C4:Dic3.379C22 = D12:7Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.379C2^2192,1249
C4:Dic3.380C22 = C42.166D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.380C2^2192,1272
C4:Dic3.381C22 = Dic6:11D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.381C2^2192,1277
C4:Dic3.382C22 = Dic6:8Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.382C2^2192,1280
C4:Dic3.383C22 = Dic6:9Q8φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.383C2^2192,1281
C4:Dic3.384C22 = D12:12D4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.384C2^2192,1285
C4:Dic3.385C22 = D12:8Q8φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.385C2^2192,1286
C4:Dic3.386C22 = C42.177D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.386C2^2192,1291
C4:Dic3.387C22 = C42.179D6φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.387C2^2192,1293
C4:Dic3.388C22 = C2xQ8xDic3φ: C22/C2 → C2 ⊆ Out C4:Dic3192C4:Dic3.388C2^2192,1370
C4:Dic3.389C22 = C6.422- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.389C2^2192,1371
C4:Dic3.390C22 = C6.442- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.390C2^2192,1375
C4:Dic3.391C22 = Dic3xC4oD4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.391C2^2192,1385
C4:Dic3.392C22 = C6.1442+ 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.392C2^2192,1386
C4:Dic3.393C22 = C6.1082- 1+4φ: C22/C2 → C2 ⊆ Out C4:Dic396C4:Dic3.393C2^2192,1392
C4:Dic3.394C22 = C2xC4xDic6φ: trivial image192C4:Dic3.394C2^2192,1026
C4:Dic3.395C22 = C4xC4oD12φ: trivial image96C4:Dic3.395C2^2192,1033
C4:Dic3.396C22 = C42.87D6φ: trivial image96C4:Dic3.396C2^2192,1075
C4:Dic3.397C22 = C42.91D6φ: trivial image96C4:Dic3.397C2^2192,1082
C4:Dic3.398C22 = C42.119D6φ: trivial image96C4:Dic3.398C2^2192,1124
C4:Dic3.399C22 = Q8:7D12φ: trivial image96C4:Dic3.399C2^2192,1136
C4:Dic3.400C22 = C42.135D6φ: trivial image96C4:Dic3.400C2^2192,1143
C4:Dic3.401C22 = C42.136D6φ: trivial image96C4:Dic3.401C2^2192,1144

׿
x
:
Z
F
o
wr
Q
<